#ifndef AT32F415RCT7_ENCODER_H
#define AT32F415RCT7_ENCODER_H
#include "at32f415_conf.h"
#include "at32f415_gpio_driver.h"
uint32_t get_encoder_cnt();
void encoder_init(void);
#endif
